『A Tutorial on (Co)algebras and (Co)induction』
table:単語
homomorphism 準同型写像
subalgebra 部分代数系
congruence 合同
concise 簡潔
desiable 望ましい
ordinary induction 通常の数学的帰納法
1. Introduction
2. Algebraic and coalgebraic phenomena
3. Inductive and coinductive definitions
4. Functionality of products, coproducts and powersets
5. Algebras and induction